Biblioteca do ISEL

Your cart is empty.

Biblioteca do ISEL

Your search returned 6 results. Subscribe to this search

Unhighlight Highlight
|
Mathematical logic : a course with exercices : part I: propositional calculus, boolean algebras, predicate calculus / René Cori, Daniel Lascal ; trad. Donald H. PelletierPublication: Oxford : University Press, 1993Description: XIX, 338 p. ; 24 cm.Availability: Items available for loan: [COR. 517] (1).

Place hold Add to cart
No cover image available
The elements of mathematical logic / Paul C. RosenbloomPublication: New York : Dover, 1950Description: IV, 215 p. : il. ; 21 cm.Availability: Items available for loan: [ROS. 510.6] (1).

Place hold Add to cart
Digital computer arithmetic : design and implementation / Joseph J. F. CavanaghPublication: New York : McGraw-Hill Book Company, 1985Description: XI, 468 p. : il. ; 21 cmAvailability: Items available for loan: [CAV. 519.6] (1). Items available for reference: [CAV. 519.6] (1).

Place hold Add to cart
No cover image available
Switching circuits : with computer applications / Watts S. HumphreyPublication: New York : McGraw-Hill Book Company, 1958Description: VIII, 264 p. : il. ; 24 cm.Availability: Items available for loan: [HUM. 519.6] (1).

Place hold Add to cart
Key papers in the development of coding theory / Elwyn R. BerlekampPublication: New York : IEEE PRESS, 1974Description: VIII, 288 p. : il. ; 29 cmAvailability: Items available for loan: [BER. 519.6] (1).

Place hold Add to cart
Mathematics for computer science / A. Arnold, I. GuessarianPublication: London : Prentice Hall, 1996Description: X, 401 p. : il. ; 23 cmAvailability: Items available for loan: [ARN. 519.6] (1).

Place hold Add to cart

Informática-ISEL